Formal Semantics of Composite Events for Distributed Environments
نویسندگان
چکیده
Languages for event specification in centralized systems and their semantics have received considerable attention in the literature. In contrast, very little work exists on extending the semantics of event specification languages to distributed environments. This paper provides a well-defined notion of distributed composite time stamps and their least restricted strict ordering are defined. The ordering is carefully chosen based on mathematical reasoning to ensure the best semantics. The concurrence and weaker-less-than-or-equal temporal relations are also introduced for the expressiveness of ECA rules. Furthermore, a Max operator is introduced for propagating the composite event time stamps. Based on this partial ordering and the Max operator on the time stamps, the semantics of Sentinel composite events is described for distributed event detection.
منابع مشابه
Synthesizing Distributed Constrained Events from Transactional Workkow Speciications
Workkows are the semantically appropriate composite activities in heterogeneous computing environments. Such environments typically comprise a great diversity of locally autonomous databases, applications, and interfaces. Much good research has focused on the semantics of workkows, and how to capture them in diierent extended transaction models. Here we address the complementary issues pertaini...
متن کاملUnified Semantics for Event Correlation over Time and Space in Hybrid Network Environments
The recent evolution of ubiquitous computing has brought with it a dramatic increase of event monitoring capabilities by wireless devices and sensors. Such systems require new, more sophisticated, event correlation over time and space. This new paradigm implies composition of events in heterogeneous network environments, where network and resource conditions vary. Event Correlation will be a mu...
متن کاملAn Event-Based Model for Web Services Coordination
The promise of Web services is centered around standard and interoperable means for integrating loosely coupled Web based components that expose well-defined interfaces, while abstracting the implementation and platform specific details. The current and more mature core Web services standards SOAP, WSDL and UDDI provide a solid foundation to accomplish this. However, these specifications primar...
متن کاملIncreasing Expressiveness of Composite Events Using Parameter Contexts
The event-condition-action paradigm (also known as triggers or ECA rules) gives a database “active” capabilities – the ability to react automatically to changes in the database or the environment. Events can be primitive or composite. Primitive events cannot be decomposed. Different types of primitive events can be composed using event composition operators to form composite events. When a comp...
متن کاملA Dual Framework for High Assurance Distributed Object Security
High assurance security is extremely di cult to acheive in distributed computer systems due to their inherent non-determinism and heterogeneity. The practical application of formal methods is the key to high assurance security in open, distributed environments. This paper presents a methodology that applies formal methods within a dual framework to achieve secure interoperation of heterogeneous...
متن کامل